$background-color: #2B2B2B;
$panel-background-color: #313335;
$panel-background-active: #3C3F41;

$button-background-dark: #282A2C;
$button-background-medium: #2D2E30;

$menu-text-color: #BBBBBB;
$menu-text-color-high: #DDDDDD;
$menu-text-color-dim: #8f8f8f;
$dimmed-text-color: #adadad;

$active-color: #b1e00f;
$active-color-dim: #b2970e;

$positive-background: #313c31;

@mixin pixelated{
  image-rendering: optimizeSpeed;
  image-rendering: optimize-contrast;
  image-rendering: -webkit-optimize-contrast;
  image-rendering: crisp-edges;
  image-rendering: -moz-crisp-edges;
  image-rendering: -o-crisp-edges;
  image-rendering: pixelated;
  -ms-interpolation-mode: nearest-neighbor;
}